<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>
<title>GrammarConstants</title>
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
</head>
<body>
<script type="text/javascript"><!--
    if (location.href.indexOf('is-external=true') == -1) {
        parent.document.title="GrammarConstants";
    }
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar_top">
<!--   -->
</a><a href="#skip-navbar_top" title="Skip navigation links"></a><a name="navbar_top_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/verify/GrammarAmbiguity.html" title="class in mmj.verify"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/verify/GrammarRule.html" title="class in mmj.verify"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/verify/GrammarConstants.html" target="_top">Frames</a></li>
<li><a href="GrammarConstants.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field_summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#methods_inherited_from_class_java.lang.Object">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field_detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li>Method</li>
</ul>
</div>
<a name="skip-navbar_top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">mmj.verify</div>
<h2 title="Class GrammarConstants" class="title">Class GrammarConstants</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li>mmj.verify.GrammarConstants</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="strong">GrammarConstants</span>
extends java.lang.Object</pre>
<div class="block">Constants used in Grammar-related classes.
 <p>
 There are two primary types of constants: parameters that are "hardcoded"
 which affect/control processing, and error/info messages.
 <p>
 Each mmj message begins with a code, such as this:
 <p>
 <code>E-LA-0007</code>
 <p>
 where the format of the code is <code>X-YY-9999</code>
 <p>
 <b><code>X</code></b> : error level
 <ul>
 <li><code>E</code> = Error
 <li><code>I</code> = Information
 <li><code>A</code> = Abort (processing terminates, usually a bug).
 </ul>
 <p>
 <b><code>YY</code></b> : source code
 <ul>
 <li><code>GM</code> = mmj.gmff package (see <a href="../../mmj/gmff/GMFFConstants.html" title="class in mmj.gmff"><code>GMFFConstants</code></a>)
 <li><code>GR</code> = mmj.verify.Grammar and related code (see
 <a href="../../mmj/verify/GrammarConstants.html" title="class in mmj.verify"><code>GrammarConstants</code></a>)
 <li><code>IO</code> = mmj.mmio package (see <a href="../../mmj/mmio/MMIOConstants.html" title="class in mmj.mmio"><code>MMIOConstants</code></a>)
 <li><code>LA</code> = mmj.lang package (see <a href="../../mmj/gmff/GMFFConstants.html" title="class in mmj.gmff"><code>GMFFConstants</code></a>)
 <li><code>PA</code> = mmj.pa package (proof assistant) (see <a href="../../mmj/pa/PaConstants.html" title="class in mmj.pa"><code>PaConstants</code></a>)
 <li><code>PR</code> = mmj.verify.VerifyProof and related code (see
 <a href="../../mmj/verify/ProofConstants.html" title="class in mmj.verify"><code>ProofConstants</code></a>)
 <li><code>TL</code> = mmj.tl package (Theorem Loader).
 <li><code>TM</code> = mmj.tmff.AlignColumn and related code
 <li><code>UT</code> = mmj.util package. (see <a href="../../mmj/util/UtilConstants.html" title="class in mmj.util"><code>UtilConstants</code></a>)
 </ul>
 <p>
 <b><code>9999</code></b> : sequential number within the source code, 0001 through
 9999.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field_summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#BOTTOM_UP_GOVERNOR_LIMIT">BOTTOM_UP_GOVERNOR_LIMIT</a></strong></code>
<div class="block">Maximum number of loops through the BottomUpParser algorithm is set at
 BOTTOM_UP_GOVERNOR_LIMIT times the length of the expression being parsed.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#BOTTOM_UP_GOVERNOR_LIMIT_MAX">BOTTOM_UP_GOVERNOR_LIMIT_MAX</a></strong></code>
<div class="block">Used to limit BottomUpParser when the user has requested "complete"
 statement ambiguity checking", which means that they want more than one
 parse tree returned for a single expression, if multiple trees exist.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#BOTTOM_UP_STACK_HARD_FAILURE_MAX">BOTTOM_UP_STACK_HARD_FAILURE_MAX</a></strong></code>
<div class="block">Absolute maximum stack size used by BottomUpParser.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#DEFAULT_COMPLETE_GRAMMAR_AMBIG_EDITS">DEFAULT_COMPLETE_GRAMMAR_AMBIG_EDITS</a></strong></code>
<div class="block">Grammar Ambiguity Edits Level, complete or "basic".</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#DEFAULT_COMPLETE_STATEMENT_AMBIG_EDITS">DEFAULT_COMPLETE_STATEMENT_AMBIG_EDITS</a></strong></code>
<div class="block">Statement Ambiguity Edits Level, complete or "basic".</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String[]</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#DEFAULT_LOGIC_STMT_TYP_CODES">DEFAULT_LOGIC_STMT_TYP_CODES</a></strong></code>
<div class="block">Default list, for Grammar.java constructor, of Type Codes used on
 statements of logic ("wff" but not "set", etc).</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String[]</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#DEFAULT_PROVABLE_LOGIC_STMT_TYP_CODES">DEFAULT_PROVABLE_LOGIC_STMT_TYP_CODES</a></strong></code>
<div class="block">Default list, for Grammar.java constructor, of Type Codes used on
 Theorems involving Logical Statements, thus identifying all other Type
 Codes as Syntax/Grammatical Type Codes.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#EARLEY_PARSE_CITEMSET_ITEMSET_RATIO">EARLEY_PARSE_CITEMSET_ITEMSET_RATIO</a></strong></code>
<div class="block">Ratio of initial Earley Itemset Array allocation to the Completed Itemset
 Array allocation.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#EARLEY_PARSE_MIN_ITEMSET_MAXIMUM">EARLEY_PARSE_MIN_ITEMSET_MAXIMUM</a></strong></code>
<div class="block">Minimum initial allocation size for Earley Parser Itemset Array.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_2_PARSE_TREES_1">ERRMSG_2_PARSE_TREES_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_2_PARSE_TREES_2">ERRMSG_2_PARSE_TREES_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_2_PARSE_TREES_3">ERRMSG_2_PARSE_TREES_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_AFTER_DOT_CAPTION">ERRMSG_AFTER_DOT_CAPTION</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_AT_CAPTION">ERRMSG_AT_CAPTION</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_BASE_RULE_IS_DUP_1">ERRMSG_BASE_RULE_IS_DUP_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_BASE_RULE_IS_DUP_2">ERRMSG_BASE_RULE_IS_DUP_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_BOGUS_PARAM_VARHYP_NODE_1">ERRMSG_BOGUS_PARAM_VARHYP_NODE_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_BOGUS_PARAM_VARHYP_NODE_2">ERRMSG_BOGUS_PARAM_VARHYP_NODE_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_BOGUS_PARAM_VARHYP_NODE_3">ERRMSG_BOGUS_PARAM_VARHYP_NODE_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_1">ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_2">ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_BU_PARSE_STACK_OVERFLOW_1">ERRMSG_BU_PARSE_STACK_OVERFLOW_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_BU_PARSE_STACK_OVERFLOW_2">ERRMSG_BU_PARSE_STACK_OVERFLOW_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_COLON_CAPTION">ERRMSG_COLON_CAPTION</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_DJ_VARS_ON_SYNTAX_1">ERRMSG_DJ_VARS_ON_SYNTAX_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_DJ_VARS_ON_SYNTAX_2">ERRMSG_DJ_VARS_ON_SYNTAX_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_DOT_CAPTION">ERRMSG_DOT_CAPTION</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_DUP_RULE_DIFF_TYP_1">ERRMSG_DUP_RULE_DIFF_TYP_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_DUP_RULE_DIFF_TYP_2">ERRMSG_DUP_RULE_DIFF_TYP_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_DUP_RULE_DIFF_TYP_3">ERRMSG_DUP_RULE_DIFF_TYP_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_DUP_RULE_DIFF_TYP_4">ERRMSG_DUP_RULE_DIFF_TYP_4</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_DUP_RULE_DIFF_TYP_5">ERRMSG_DUP_RULE_DIFF_TYP_5</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_1">ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_2">ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EARLEY_HYP_PARAMS_NOTFND_1">ERRMSG_EARLEY_HYP_PARAMS_NOTFND_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EARLEY_HYP_PARAMS_NOTFND_2">ERRMSG_EARLEY_HYP_PARAMS_NOTFND_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EARLEY_HYP_PARAMS_NOTFND_3">ERRMSG_EARLEY_HYP_PARAMS_NOTFND_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_1">ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_2">ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_3">ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_4">ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_4</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EARLEY_ITEMSET_OVERFLOW_1">ERRMSG_EARLEY_ITEMSET_OVERFLOW_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EARLEY_ITEMSET_OVERFLOW_2">ERRMSG_EARLEY_ITEMSET_OVERFLOW_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EXPR_USES_TYP_AS_CNST_1">ERRMSG_EXPR_USES_TYP_AS_CNST_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_EXPR_USES_TYP_AS_CNST_2">ERRMSG_EXPR_USES_TYP_AS_CNST_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_FATAL_ARRAY_INDEX_ERROR">ERRMSG_FATAL_ARRAY_INDEX_ERROR</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_GRAMMAR_RULE_2_PARSEABLE_1">ERRMSG_GRAMMAR_RULE_2_PARSEABLE_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_GRAMMAR_RULE_2_PARSEABLE_2">ERRMSG_GRAMMAR_RULE_2_PARSEABLE_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_GRAMMAR_RULE_2_PARSEABLE_3">ERRMSG_GRAMMAR_RULE_2_PARSEABLE_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_GRAMMAR_RULE_PARSEABLE_1">ERRMSG_GRAMMAR_RULE_PARSEABLE_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_GRAMMAR_RULE_PARSEABLE_2">ERRMSG_GRAMMAR_RULE_PARSEABLE_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_GRAMMAR_UNAMBIGUOUS">ERRMSG_GRAMMAR_UNAMBIGUOUS</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_GRFOREST_EXPR_LENGTH_ZERO">ERRMSG_GRFOREST_EXPR_LENGTH_ZERO</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_GRFOREST_NODE_LOST">ERRMSG_GRFOREST_NODE_LOST</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_GRFOREST_RULE_DUP">ERRMSG_GRFOREST_RULE_DUP</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_GRFOREST_RULE_NULL">ERRMSG_GRFOREST_RULE_NULL</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LABEL_CAPTION">ERRMSG_LABEL_CAPTION</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LEFT_TWEENER_ERROR_1">ERRMSG_LEFT_TWEENER_ERROR_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LEFT_TWEENER_ERROR_2">ERRMSG_LEFT_TWEENER_ERROR_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LEFT_TWEENER_ERROR_3">ERRMSG_LEFT_TWEENER_ERROR_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LOGHYP_FOR_SYNTAX_1">ERRMSG_LOGHYP_FOR_SYNTAX_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LOGHYP_FOR_SYNTAX_2">ERRMSG_LOGHYP_FOR_SYNTAX_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LOGIC_TYP_CD_BOGUS_1">ERRMSG_LOGIC_TYP_CD_BOGUS_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LOGIC_TYP_CD_BOGUS_2">ERRMSG_LOGIC_TYP_CD_BOGUS_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LOGIC_TYP_DUPS_1">ERRMSG_LOGIC_TYP_DUPS_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LOGIC_TYP_DUPS_2">ERRMSG_LOGIC_TYP_DUPS_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LOGIC_TYP_DUPS_3">ERRMSG_LOGIC_TYP_DUPS_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LOGIC_TYP_NOT_A_CNST_1">ERRMSG_LOGIC_TYP_NOT_A_CNST_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LOGIC_TYP_NOT_A_CNST_2">ERRMSG_LOGIC_TYP_NOT_A_CNST_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LOGIC_TYP_NOT_A_CNST_3">ERRMSG_LOGIC_TYP_NOT_A_CNST_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_LOGIC_TYP_PARAM_INVALID">ERRMSG_LOGIC_TYP_PARAM_INVALID</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_MAX_RETRIES_EXCEEDED_1">ERRMSG_MAX_RETRIES_EXCEEDED_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_MAX_RETRIES_EXCEEDED_2">ERRMSG_MAX_RETRIES_EXCEEDED_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_N_PARSE_TREES_1">ERRMSG_N_PARSE_TREES_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_N_PARSE_TREES_2">ERRMSG_N_PARSE_TREES_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_N_PARSE_TREES_3">ERRMSG_N_PARSE_TREES_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_NOTATION_GRFOREST_DUP_1">ERRMSG_NOTATION_GRFOREST_DUP_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_NOTATION_GRFOREST_DUP_2">ERRMSG_NOTATION_GRFOREST_DUP_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_NOTATION_VARHYP_2_NOTFND_1">ERRMSG_NOTATION_VARHYP_2_NOTFND_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_NOTATION_VARHYP_2_NOTFND_2">ERRMSG_NOTATION_VARHYP_2_NOTFND_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_NOTATION_VARHYP_2_NOTFND_3">ERRMSG_NOTATION_VARHYP_2_NOTFND_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_NOTATION_VARHYP_2_NOTFND_4">ERRMSG_NOTATION_VARHYP_2_NOTFND_4</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_NOTATION_VARHYP_NOTFND_1">ERRMSG_NOTATION_VARHYP_NOTFND_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_NOTATION_VARHYP_NOTFND_2">ERRMSG_NOTATION_VARHYP_NOTFND_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PARSE_FAILED">ERRMSG_PARSE_FAILED</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PARSE_FAILED_AT_POS_1">ERRMSG_PARSE_FAILED_AT_POS_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PARSE_FAILED_AT_POS_2">ERRMSG_PARSE_FAILED_AT_POS_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PROVABLE_DUP_OF_LOGICAL_1">ERRMSG_PROVABLE_DUP_OF_LOGICAL_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PROVABLE_DUP_OF_LOGICAL_2">ERRMSG_PROVABLE_DUP_OF_LOGICAL_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PROVABLE_TYP_CD_BOGUS_1">ERRMSG_PROVABLE_TYP_CD_BOGUS_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PROVABLE_TYP_CD_BOGUS_2">ERRMSG_PROVABLE_TYP_CD_BOGUS_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PROVABLE_TYP_DUPS_1">ERRMSG_PROVABLE_TYP_DUPS_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PROVABLE_TYP_DUPS_2">ERRMSG_PROVABLE_TYP_DUPS_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PROVABLE_TYP_DUPS_3">ERRMSG_PROVABLE_TYP_DUPS_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PROVABLE_TYP_NOT_A_CNST_1">ERRMSG_PROVABLE_TYP_NOT_A_CNST_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PROVABLE_TYP_NOT_A_CNST_2">ERRMSG_PROVABLE_TYP_NOT_A_CNST_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PROVABLE_TYP_NOT_A_CNST_3">ERRMSG_PROVABLE_TYP_NOT_A_CNST_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_PROVABLE_TYP_PARAM_INVALID">ERRMSG_PROVABLE_TYP_PARAM_INVALID</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_RETRY_TO_BE_INITIATED">ERRMSG_RETRY_TO_BE_INITIATED</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_RIGHT_TWEENER_ERROR_1">ERRMSG_RIGHT_TWEENER_ERROR_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_RIGHT_TWEENER_ERROR_2">ERRMSG_RIGHT_TWEENER_ERROR_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_RIGHT_TWEENER_ERROR_3">ERRMSG_RIGHT_TWEENER_ERROR_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_RULE_EXPR_CAPTION">ERRMSG_RULE_EXPR_CAPTION</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_START_RULE_TYPE_UNDEF_1">ERRMSG_START_RULE_TYPE_UNDEF_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_START_RULE_TYPE_UNDEF_2">ERRMSG_START_RULE_TYPE_UNDEF_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_SYNTAX_USES_TYP_AS_CNST_1">ERRMSG_SYNTAX_USES_TYP_AS_CNST_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_SYNTAX_USES_TYP_AS_CNST_2">ERRMSG_SYNTAX_USES_TYP_AS_CNST_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_SYNTAX_USES_TYP_AS_CNST_3">ERRMSG_SYNTAX_USES_TYP_AS_CNST_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_SYNTAX_VAR_GT_1_OCC_1">ERRMSG_SYNTAX_VAR_GT_1_OCC_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_SYNTAX_VAR_GT_1_OCC_2">ERRMSG_SYNTAX_VAR_GT_1_OCC_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_SYNTAX_VAR_GT_1_OCC_3">ERRMSG_SYNTAX_VAR_GT_1_OCC_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_SYNTAX_VARHYP_MISMATCH_1">ERRMSG_SYNTAX_VARHYP_MISMATCH_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_SYNTAX_VARHYP_MISMATCH_2">ERRMSG_SYNTAX_VARHYP_MISMATCH_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_TYPCONV_2_VARHYP_NOTFND_1">ERRMSG_TYPCONV_2_VARHYP_NOTFND_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_TYPCONV_2_VARHYP_NOTFND_2">ERRMSG_TYPCONV_2_VARHYP_NOTFND_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_TYPCONV_AXIOM_LOOP_1">ERRMSG_TYPCONV_AXIOM_LOOP_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_TYPCONV_AXIOM_LOOP_2">ERRMSG_TYPCONV_AXIOM_LOOP_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_TYPCONV_AXIOM_LOOP_3">ERRMSG_TYPCONV_AXIOM_LOOP_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_TYPCONV_NBRHYP_NE_1_1">ERRMSG_TYPCONV_NBRHYP_NE_1_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_TYPCONV_NBRHYP_NE_1_2">ERRMSG_TYPCONV_NBRHYP_NE_1_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_TYPCONV_NBRHYP_NE_1_3">ERRMSG_TYPCONV_NBRHYP_NE_1_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_TYPCONV_VARHYP_NOTFND_1">ERRMSG_TYPCONV_VARHYP_NOTFND_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_TYPCONV_VARHYP_NOTFND_2">ERRMSG_TYPCONV_VARHYP_NOTFND_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_UNDEF_NON_TERMINAL_1">ERRMSG_UNDEF_NON_TERMINAL_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_UNDEF_NON_TERMINAL_2">ERRMSG_UNDEF_NON_TERMINAL_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_UNDEF_NON_TERMINAL_3">ERRMSG_UNDEF_NON_TERMINAL_3</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_VARHYP_TYP_PROVABLE_1">ERRMSG_VARHYP_TYP_PROVABLE_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#ERRMSG_VARHYP_TYP_PROVABLE_2">ERRMSG_VARHYP_TYP_PROVABLE_2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#MAX_DERIVED_RULE_QUEUE_SIZE">MAX_DERIVED_RULE_QUEUE_SIZE</a></strong></code>
<div class="block">Size limit for PriorityQueue used to store derived GrammarRules
 "in flight", during processing of a single new GrammarRule.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#MAX_PARSE_RETRIES">MAX_PARSE_RETRIES</a></strong></code>
<div class="block">Maximum times the grammatical parser will "retry" the expression parse
 after exceeding the size of the pre-allocated arrays (used for
 efficiency).</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/verify/GrammarConstants.html#PARSE_TREE_MAX_FOR_AMBIG_EDIT">PARSE_TREE_MAX_FOR_AMBIG_EDIT</a></strong></code>
<div class="block">Maximum number of parse trees to return for an ambiguous statement (with
 more than one grammatical parse tree.)</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><strong><a href="../../mmj/verify/GrammarConstants.html#GrammarConstants()">GrammarConstants</a></strong>()</code>&nbsp;</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method_summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<ul class="blockList">
<li class="blockList"><a name="methods_inherited_from_class_java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>
<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field_detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="PARSE_TREE_MAX_FOR_AMBIG_EDIT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>PARSE_TREE_MAX_FOR_AMBIG_EDIT</h4>
<pre>public static final&nbsp;int PARSE_TREE_MAX_FOR_AMBIG_EDIT</pre>
<div class="block">Maximum number of parse trees to return for an ambiguous statement (with
 more than one grammatical parse tree.)
 <p>
 Normally set at 2, but can be altered for testing to as many as desired
 (which will generate huge messages...)</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.PARSE_TREE_MAX_FOR_AMBIG_EDIT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="DEFAULT_PROVABLE_LOGIC_STMT_TYP_CODES">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>DEFAULT_PROVABLE_LOGIC_STMT_TYP_CODES</h4>
<pre>public static final&nbsp;java.lang.String[] DEFAULT_PROVABLE_LOGIC_STMT_TYP_CODES</pre>
<div class="block">Default list, for Grammar.java constructor, of Type Codes used on
 Theorems involving Logical Statements, thus identifying all other Type
 Codes as Syntax/Grammatical Type Codes.
 <p>
 At this time only one Provable Logic Statement Type Code can be used for
 a Metamath system.</div>
</li>
</ul>
<a name="DEFAULT_LOGIC_STMT_TYP_CODES">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>DEFAULT_LOGIC_STMT_TYP_CODES</h4>
<pre>public static final&nbsp;java.lang.String[] DEFAULT_LOGIC_STMT_TYP_CODES</pre>
<div class="block">Default list, for Grammar.java constructor, of Type Codes used on
 statements of logic ("wff" but not "set", etc).
 <p>
 In the grammatical parse process a "Start Type Code" is identified for
 the expression being parsed, and this is the expected Type Code given the
 formula's Type Code. Generally speaking, if the Formula's Type is the
 Provable Logic Statement Type Code then the Start Type used is the
 corresponding Logical Statement Type Code; thus, the grammatical parse
 Start Type Code for a Formula with Type Code "|-" is "wff" -- and that
 means that the parse tree root Stmt's Type Code had better be "wff"!
 <p>
 At this time only one Logical Statement Type Code can be used for a
 Metamath system. There is a "loophole" however -- it is not prohibited
 for another Type Code to convert *to* a Logical Statement Type Code, so
 "wffa" could convert to "wff" (but "|-" can never be the Type of a
 variable and cannot convert to "wff").</div>
</li>
</ul>
<a name="DEFAULT_COMPLETE_GRAMMAR_AMBIG_EDITS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>DEFAULT_COMPLETE_GRAMMAR_AMBIG_EDITS</h4>
<pre>public static final&nbsp;boolean DEFAULT_COMPLETE_GRAMMAR_AMBIG_EDITS</pre>
<div class="block">Grammar Ambiguity Edits Level, complete or "basic".
 <ul>
 <li>Complete: runs through all sorts of tedious scenarios looking for
 ambiguities :)
 <li>Not-Complete (aka "Basic"): reports ambiguities that hit us in the
 face, like duplicate Syntax Axioms, parseable GrammarRules, etc.
 </ul></div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.DEFAULT_COMPLETE_GRAMMAR_AMBIG_EDITS">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="DEFAULT_COMPLETE_STATEMENT_AMBIG_EDITS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>DEFAULT_COMPLETE_STATEMENT_AMBIG_EDITS</h4>
<pre>public static final&nbsp;boolean DEFAULT_COMPLETE_STATEMENT_AMBIG_EDITS</pre>
<div class="block">Statement Ambiguity Edits Level, complete or "basic".
 <ul>
 <li>Complete: Grammatical Parse attempts to find two parse trees.
 <li>Not-Complete (aka "Basic"): Grammatical Parse returns the first parse
 tree found. This is a little or a lot faster, depending on which parser
 is in use.
 </ul></div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.DEFAULT_COMPLETE_STATEMENT_AMBIG_EDITS">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="MAX_DERIVED_RULE_QUEUE_SIZE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>MAX_DERIVED_RULE_QUEUE_SIZE</h4>
<pre>public static final&nbsp;int MAX_DERIVED_RULE_QUEUE_SIZE</pre>
<div class="block">Size limit for PriorityQueue used to store derived GrammarRules
 "in flight", during processing of a single new GrammarRule.
 <p>
 Thus, this is not the maximum number of GrammarRules but a limit to the
 number waiting to be processed after being derived from one GrammarRule
 (a GrammarRule such as a TypeConversionRule or NullsPermittedRule can
 "trigger" other new GrammarRules). For this limit to be breached,
 something very unorthodox would need to be used, such as putting a key
 TypeConversion Syntax Axiom at the end of a huge list of other Syntax
 Axioms (set.mm has only about 500 GrammarRules in total).</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.MAX_DERIVED_RULE_QUEUE_SIZE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="MAX_PARSE_RETRIES">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>MAX_PARSE_RETRIES</h4>
<pre>public static final&nbsp;int MAX_PARSE_RETRIES</pre>
<div class="block">Maximum times the grammatical parser will "retry" the expression parse
 after exceeding the size of the pre-allocated arrays (used for
 efficiency).
 <p>
 A retry involves re-allocating the arrays with a larger size and then
 repeating the parse from the start. BUT if the maximum number of retries
 is exceeded than there may be a bug in the code -- this is a fail-safe
 feature, in other words.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.MAX_PARSE_RETRIES">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="EARLEY_PARSE_MIN_ITEMSET_MAXIMUM">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>EARLEY_PARSE_MIN_ITEMSET_MAXIMUM</h4>
<pre>public static final&nbsp;int EARLEY_PARSE_MIN_ITEMSET_MAXIMUM</pre>
<div class="block">Minimum initial allocation size for Earley Parser Itemset Array.
 <p>
 Used only if larger than the number of NotationRules. Established because
 of certain test files with very small numbers of NotationRules which
 ended up overflowing in the retry routine.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.EARLEY_PARSE_MIN_ITEMSET_MAXIMUM">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="EARLEY_PARSE_CITEMSET_ITEMSET_RATIO">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>EARLEY_PARSE_CITEMSET_ITEMSET_RATIO</h4>
<pre>public static final&nbsp;int EARLEY_PARSE_CITEMSET_ITEMSET_RATIO</pre>
<div class="block">Ratio of initial Earley Itemset Array allocation to the Completed Itemset
 Array allocation.
 <p>
 --> i.e. there are expected to be at most 1/2 as many Completed Items as
 there are Active/Predicted Items.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.EARLEY_PARSE_CITEMSET_ITEMSET_RATIO">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="BOTTOM_UP_GOVERNOR_LIMIT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>BOTTOM_UP_GOVERNOR_LIMIT</h4>
<pre>public static final&nbsp;int BOTTOM_UP_GOVERNOR_LIMIT</pre>
<div class="block">Maximum number of loops through the BottomUpParser algorithm is set at
 BOTTOM_UP_GOVERNOR_LIMIT times the length of the expression being parsed.
 <p>
 NOTE: BottomUpParser is not normally used but is retained in mmj for
 experimental purposes.
 <p>
 If BOTTOM_UP_GOVERNOR_LIMIT does not get the job done then the grammar is
 probably unsuitable for the BottomUp parse algorithm (for example,
 parsing "supeu" in set.mm with BottomUpParser has never been achieved --
 it requires millions of loops, or thereabouts.)</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.BOTTOM_UP_GOVERNOR_LIMIT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="BOTTOM_UP_GOVERNOR_LIMIT_MAX">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>BOTTOM_UP_GOVERNOR_LIMIT_MAX</h4>
<pre>public static final&nbsp;int BOTTOM_UP_GOVERNOR_LIMIT_MAX</pre>
<div class="block">Used to limit BottomUpParser when the user has requested "complete"
 statement ambiguity checking", which means that they want more than one
 parse tree returned for a single expression, if multiple trees exist.
 <p>
 Thus, the Ultra-Maximum number of loops through the BottomUpParser.java
 algorithm is then set = <code>
     BOTTOM_UP_GOVERNOR_LIMIT<br>
     times the length of the expression being parsed<br>
     times BOTTOM_UP_GOVERNOR_LIMIT_MAX;<br>
 </code>
 </p>
 Generally speaking, this would only be used when attempting to find
 ambiguities in the grammar rules themselves (they are fewer in number and
 tend to be "doable" with the BottomUp algorithm.)</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.BOTTOM_UP_GOVERNOR_LIMIT_MAX">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="BOTTOM_UP_STACK_HARD_FAILURE_MAX">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>BOTTOM_UP_STACK_HARD_FAILURE_MAX</h4>
<pre>public static final&nbsp;int BOTTOM_UP_STACK_HARD_FAILURE_MAX</pre>
<div class="block">Absolute maximum stack size used by BottomUpParser.
 <p>
 Since this equates to the maximum parse tree depth, it is a ridiculously
 high number for the BottomUpParser, especially since we are using a
 governor limit on the number of times through the main loop; in other
 words, this is a fail-safe, belt *and* suspenders and velcro.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.BOTTOM_UP_STACK_HARD_FAILURE_MAX">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_MAX_RETRIES_EXCEEDED_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_MAX_RETRIES_EXCEEDED_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_MAX_RETRIES_EXCEEDED_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_MAX_RETRIES_EXCEEDED_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_MAX_RETRIES_EXCEEDED_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_MAX_RETRIES_EXCEEDED_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_MAX_RETRIES_EXCEEDED_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_MAX_RETRIES_EXCEEDED_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_RETRY_TO_BE_INITIATED">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_RETRY_TO_BE_INITIATED</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_RETRY_TO_BE_INITIATED</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_RETRY_TO_BE_INITIATED">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_BU_GOVERNOR_LIMIT_EXCEEDED_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BU_PARSE_STACK_OVERFLOW_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BU_PARSE_STACK_OVERFLOW_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BU_PARSE_STACK_OVERFLOW_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_BU_PARSE_STACK_OVERFLOW_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BU_PARSE_STACK_OVERFLOW_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BU_PARSE_STACK_OVERFLOW_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BU_PARSE_STACK_OVERFLOW_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_BU_PARSE_STACK_OVERFLOW_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EXPR_USES_TYP_AS_CNST_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EXPR_USES_TYP_AS_CNST_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EXPR_USES_TYP_AS_CNST_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EXPR_USES_TYP_AS_CNST_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EXPR_USES_TYP_AS_CNST_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EXPR_USES_TYP_AS_CNST_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EXPR_USES_TYP_AS_CNST_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EXPR_USES_TYP_AS_CNST_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_START_RULE_TYPE_UNDEF_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_START_RULE_TYPE_UNDEF_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_START_RULE_TYPE_UNDEF_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_START_RULE_TYPE_UNDEF_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_START_RULE_TYPE_UNDEF_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_START_RULE_TYPE_UNDEF_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_START_RULE_TYPE_UNDEF_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_START_RULE_TYPE_UNDEF_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EARLEY_ITEMSET_OVERFLOW_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EARLEY_ITEMSET_OVERFLOW_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EARLEY_ITEMSET_OVERFLOW_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EARLEY_ITEMSET_OVERFLOW_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EARLEY_ITEMSET_OVERFLOW_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EARLEY_ITEMSET_OVERFLOW_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EARLEY_ITEMSET_OVERFLOW_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EARLEY_ITEMSET_OVERFLOW_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EARLEY_C_ITEMSET_OVERFLOW_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_FATAL_ARRAY_INDEX_ERROR">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_FATAL_ARRAY_INDEX_ERROR</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_FATAL_ARRAY_INDEX_ERROR</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_FATAL_ARRAY_INDEX_ERROR">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EARLEY_HYP_PARAMS_NOTFND_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EARLEY_HYP_PARAMS_NOTFND_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EARLEY_HYP_PARAMS_NOTFND_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EARLEY_HYP_PARAMS_NOTFND_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EARLEY_HYP_PARAMS_NOTFND_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EARLEY_HYP_PARAMS_NOTFND_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EARLEY_HYP_PARAMS_NOTFND_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EARLEY_HYP_PARAMS_NOTFND_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EARLEY_HYP_PARAMS_NOTFND_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EARLEY_HYP_PARAMS_NOTFND_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EARLEY_HYP_PARAMS_NOTFND_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EARLEY_HYP_PARAMS_NOTFND_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_4">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_4</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_4</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_EARLEY_HYPMAP_PARAMS_NOTFND_4">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_RIGHT_TWEENER_ERROR_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_RIGHT_TWEENER_ERROR_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_RIGHT_TWEENER_ERROR_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_RIGHT_TWEENER_ERROR_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_RIGHT_TWEENER_ERROR_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_RIGHT_TWEENER_ERROR_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_RIGHT_TWEENER_ERROR_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_RIGHT_TWEENER_ERROR_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_RIGHT_TWEENER_ERROR_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_RIGHT_TWEENER_ERROR_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_RIGHT_TWEENER_ERROR_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_RIGHT_TWEENER_ERROR_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LEFT_TWEENER_ERROR_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LEFT_TWEENER_ERROR_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LEFT_TWEENER_ERROR_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LEFT_TWEENER_ERROR_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LEFT_TWEENER_ERROR_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LEFT_TWEENER_ERROR_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LEFT_TWEENER_ERROR_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LEFT_TWEENER_ERROR_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LEFT_TWEENER_ERROR_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LEFT_TWEENER_ERROR_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LEFT_TWEENER_ERROR_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LEFT_TWEENER_ERROR_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PARSE_FAILED_AT_POS_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PARSE_FAILED_AT_POS_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PARSE_FAILED_AT_POS_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PARSE_FAILED_AT_POS_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PARSE_FAILED_AT_POS_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PARSE_FAILED_AT_POS_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PARSE_FAILED_AT_POS_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PARSE_FAILED_AT_POS_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PARSE_FAILED">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PARSE_FAILED</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PARSE_FAILED</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PARSE_FAILED">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_2_PARSE_TREES_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_2_PARSE_TREES_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_2_PARSE_TREES_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_2_PARSE_TREES_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_2_PARSE_TREES_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_2_PARSE_TREES_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_2_PARSE_TREES_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_2_PARSE_TREES_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_2_PARSE_TREES_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_2_PARSE_TREES_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_2_PARSE_TREES_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_2_PARSE_TREES_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LABEL_CAPTION">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LABEL_CAPTION</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LABEL_CAPTION</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LABEL_CAPTION">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_GRAMMAR_RULE_PARSEABLE_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_GRAMMAR_RULE_PARSEABLE_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_GRAMMAR_RULE_PARSEABLE_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_GRAMMAR_RULE_PARSEABLE_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_GRAMMAR_RULE_PARSEABLE_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_GRAMMAR_RULE_PARSEABLE_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_GRAMMAR_RULE_PARSEABLE_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_GRAMMAR_RULE_PARSEABLE_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_GRAMMAR_RULE_2_PARSEABLE_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_GRAMMAR_RULE_2_PARSEABLE_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_GRAMMAR_RULE_2_PARSEABLE_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_GRAMMAR_RULE_2_PARSEABLE_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_GRAMMAR_RULE_2_PARSEABLE_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_GRAMMAR_RULE_2_PARSEABLE_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_GRAMMAR_RULE_2_PARSEABLE_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_GRAMMAR_RULE_2_PARSEABLE_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_GRAMMAR_RULE_2_PARSEABLE_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_GRAMMAR_RULE_2_PARSEABLE_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_GRAMMAR_RULE_2_PARSEABLE_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_GRAMMAR_RULE_2_PARSEABLE_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROVABLE_TYP_PARAM_INVALID">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROVABLE_TYP_PARAM_INVALID</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROVABLE_TYP_PARAM_INVALID</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PROVABLE_TYP_PARAM_INVALID">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGIC_TYP_PARAM_INVALID">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGIC_TYP_PARAM_INVALID</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGIC_TYP_PARAM_INVALID</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LOGIC_TYP_PARAM_INVALID">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROVABLE_TYP_CD_BOGUS_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROVABLE_TYP_CD_BOGUS_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROVABLE_TYP_CD_BOGUS_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PROVABLE_TYP_CD_BOGUS_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROVABLE_TYP_CD_BOGUS_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROVABLE_TYP_CD_BOGUS_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROVABLE_TYP_CD_BOGUS_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PROVABLE_TYP_CD_BOGUS_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROVABLE_TYP_DUPS_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROVABLE_TYP_DUPS_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROVABLE_TYP_DUPS_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PROVABLE_TYP_DUPS_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROVABLE_TYP_DUPS_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROVABLE_TYP_DUPS_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROVABLE_TYP_DUPS_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PROVABLE_TYP_DUPS_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROVABLE_TYP_DUPS_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROVABLE_TYP_DUPS_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROVABLE_TYP_DUPS_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PROVABLE_TYP_DUPS_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROVABLE_DUP_OF_LOGICAL_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROVABLE_DUP_OF_LOGICAL_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROVABLE_DUP_OF_LOGICAL_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PROVABLE_DUP_OF_LOGICAL_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROVABLE_DUP_OF_LOGICAL_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROVABLE_DUP_OF_LOGICAL_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROVABLE_DUP_OF_LOGICAL_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PROVABLE_DUP_OF_LOGICAL_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGIC_TYP_CD_BOGUS_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGIC_TYP_CD_BOGUS_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGIC_TYP_CD_BOGUS_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LOGIC_TYP_CD_BOGUS_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGIC_TYP_CD_BOGUS_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGIC_TYP_CD_BOGUS_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGIC_TYP_CD_BOGUS_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LOGIC_TYP_CD_BOGUS_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGIC_TYP_DUPS_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGIC_TYP_DUPS_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGIC_TYP_DUPS_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LOGIC_TYP_DUPS_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGIC_TYP_DUPS_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGIC_TYP_DUPS_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGIC_TYP_DUPS_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LOGIC_TYP_DUPS_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGIC_TYP_DUPS_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGIC_TYP_DUPS_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGIC_TYP_DUPS_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LOGIC_TYP_DUPS_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROVABLE_TYP_NOT_A_CNST_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROVABLE_TYP_NOT_A_CNST_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROVABLE_TYP_NOT_A_CNST_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PROVABLE_TYP_NOT_A_CNST_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROVABLE_TYP_NOT_A_CNST_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROVABLE_TYP_NOT_A_CNST_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROVABLE_TYP_NOT_A_CNST_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PROVABLE_TYP_NOT_A_CNST_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROVABLE_TYP_NOT_A_CNST_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROVABLE_TYP_NOT_A_CNST_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROVABLE_TYP_NOT_A_CNST_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_PROVABLE_TYP_NOT_A_CNST_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGIC_TYP_NOT_A_CNST_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGIC_TYP_NOT_A_CNST_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGIC_TYP_NOT_A_CNST_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LOGIC_TYP_NOT_A_CNST_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGIC_TYP_NOT_A_CNST_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGIC_TYP_NOT_A_CNST_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGIC_TYP_NOT_A_CNST_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LOGIC_TYP_NOT_A_CNST_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGIC_TYP_NOT_A_CNST_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGIC_TYP_NOT_A_CNST_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGIC_TYP_NOT_A_CNST_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LOGIC_TYP_NOT_A_CNST_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_VARHYP_TYP_PROVABLE_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_VARHYP_TYP_PROVABLE_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_VARHYP_TYP_PROVABLE_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_VARHYP_TYP_PROVABLE_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_VARHYP_TYP_PROVABLE_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_VARHYP_TYP_PROVABLE_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_VARHYP_TYP_PROVABLE_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_VARHYP_TYP_PROVABLE_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DJ_VARS_ON_SYNTAX_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DJ_VARS_ON_SYNTAX_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DJ_VARS_ON_SYNTAX_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_DJ_VARS_ON_SYNTAX_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DJ_VARS_ON_SYNTAX_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DJ_VARS_ON_SYNTAX_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DJ_VARS_ON_SYNTAX_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_DJ_VARS_ON_SYNTAX_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGHYP_FOR_SYNTAX_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGHYP_FOR_SYNTAX_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGHYP_FOR_SYNTAX_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LOGHYP_FOR_SYNTAX_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGHYP_FOR_SYNTAX_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGHYP_FOR_SYNTAX_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGHYP_FOR_SYNTAX_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_LOGHYP_FOR_SYNTAX_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SYNTAX_VARHYP_MISMATCH_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SYNTAX_VARHYP_MISMATCH_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SYNTAX_VARHYP_MISMATCH_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_SYNTAX_VARHYP_MISMATCH_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SYNTAX_VARHYP_MISMATCH_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SYNTAX_VARHYP_MISMATCH_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SYNTAX_VARHYP_MISMATCH_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_SYNTAX_VARHYP_MISMATCH_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SYNTAX_VAR_GT_1_OCC_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SYNTAX_VAR_GT_1_OCC_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SYNTAX_VAR_GT_1_OCC_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_SYNTAX_VAR_GT_1_OCC_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SYNTAX_VAR_GT_1_OCC_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SYNTAX_VAR_GT_1_OCC_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SYNTAX_VAR_GT_1_OCC_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_SYNTAX_VAR_GT_1_OCC_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SYNTAX_VAR_GT_1_OCC_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SYNTAX_VAR_GT_1_OCC_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SYNTAX_VAR_GT_1_OCC_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_SYNTAX_VAR_GT_1_OCC_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SYNTAX_USES_TYP_AS_CNST_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SYNTAX_USES_TYP_AS_CNST_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SYNTAX_USES_TYP_AS_CNST_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_SYNTAX_USES_TYP_AS_CNST_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SYNTAX_USES_TYP_AS_CNST_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SYNTAX_USES_TYP_AS_CNST_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SYNTAX_USES_TYP_AS_CNST_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_SYNTAX_USES_TYP_AS_CNST_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SYNTAX_USES_TYP_AS_CNST_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SYNTAX_USES_TYP_AS_CNST_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SYNTAX_USES_TYP_AS_CNST_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_SYNTAX_USES_TYP_AS_CNST_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_GRFOREST_EXPR_LENGTH_ZERO">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_GRFOREST_EXPR_LENGTH_ZERO</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_GRFOREST_EXPR_LENGTH_ZERO</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_GRFOREST_EXPR_LENGTH_ZERO">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_GRFOREST_RULE_NULL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_GRFOREST_RULE_NULL</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_GRFOREST_RULE_NULL</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_GRFOREST_RULE_NULL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_GRFOREST_RULE_DUP">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_GRFOREST_RULE_DUP</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_GRFOREST_RULE_DUP</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_GRFOREST_RULE_DUP">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_GRFOREST_NODE_LOST">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_GRFOREST_NODE_LOST</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_GRFOREST_NODE_LOST</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_GRFOREST_NODE_LOST">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TYPCONV_VARHYP_NOTFND_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TYPCONV_VARHYP_NOTFND_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TYPCONV_VARHYP_NOTFND_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_TYPCONV_VARHYP_NOTFND_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TYPCONV_VARHYP_NOTFND_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TYPCONV_VARHYP_NOTFND_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TYPCONV_VARHYP_NOTFND_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_TYPCONV_VARHYP_NOTFND_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TYPCONV_2_VARHYP_NOTFND_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TYPCONV_2_VARHYP_NOTFND_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TYPCONV_2_VARHYP_NOTFND_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_TYPCONV_2_VARHYP_NOTFND_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TYPCONV_2_VARHYP_NOTFND_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TYPCONV_2_VARHYP_NOTFND_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TYPCONV_2_VARHYP_NOTFND_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_TYPCONV_2_VARHYP_NOTFND_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TYPCONV_AXIOM_LOOP_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TYPCONV_AXIOM_LOOP_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TYPCONV_AXIOM_LOOP_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_TYPCONV_AXIOM_LOOP_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TYPCONV_AXIOM_LOOP_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TYPCONV_AXIOM_LOOP_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TYPCONV_AXIOM_LOOP_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_TYPCONV_AXIOM_LOOP_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TYPCONV_AXIOM_LOOP_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TYPCONV_AXIOM_LOOP_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TYPCONV_AXIOM_LOOP_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_TYPCONV_AXIOM_LOOP_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TYPCONV_NBRHYP_NE_1_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TYPCONV_NBRHYP_NE_1_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TYPCONV_NBRHYP_NE_1_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_TYPCONV_NBRHYP_NE_1_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TYPCONV_NBRHYP_NE_1_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TYPCONV_NBRHYP_NE_1_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TYPCONV_NBRHYP_NE_1_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_TYPCONV_NBRHYP_NE_1_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TYPCONV_NBRHYP_NE_1_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TYPCONV_NBRHYP_NE_1_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TYPCONV_NBRHYP_NE_1_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_TYPCONV_NBRHYP_NE_1_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_AT_CAPTION">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_AT_CAPTION</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_AT_CAPTION</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_AT_CAPTION">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DOT_CAPTION">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DOT_CAPTION</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DOT_CAPTION</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_DOT_CAPTION">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_AFTER_DOT_CAPTION">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_AFTER_DOT_CAPTION</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_AFTER_DOT_CAPTION</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_AFTER_DOT_CAPTION">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COLON_CAPTION">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COLON_CAPTION</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COLON_CAPTION</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_COLON_CAPTION">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_RULE_EXPR_CAPTION">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_RULE_EXPR_CAPTION</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_RULE_EXPR_CAPTION</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_RULE_EXPR_CAPTION">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BASE_RULE_IS_DUP_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BASE_RULE_IS_DUP_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BASE_RULE_IS_DUP_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_BASE_RULE_IS_DUP_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BASE_RULE_IS_DUP_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BASE_RULE_IS_DUP_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BASE_RULE_IS_DUP_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_BASE_RULE_IS_DUP_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DUP_RULE_DIFF_TYP_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DUP_RULE_DIFF_TYP_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DUP_RULE_DIFF_TYP_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_DUP_RULE_DIFF_TYP_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DUP_RULE_DIFF_TYP_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DUP_RULE_DIFF_TYP_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DUP_RULE_DIFF_TYP_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_DUP_RULE_DIFF_TYP_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DUP_RULE_DIFF_TYP_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DUP_RULE_DIFF_TYP_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DUP_RULE_DIFF_TYP_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_DUP_RULE_DIFF_TYP_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DUP_RULE_DIFF_TYP_4">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DUP_RULE_DIFF_TYP_4</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DUP_RULE_DIFF_TYP_4</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_DUP_RULE_DIFF_TYP_4">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DUP_RULE_DIFF_TYP_5">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DUP_RULE_DIFF_TYP_5</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DUP_RULE_DIFF_TYP_5</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_DUP_RULE_DIFF_TYP_5">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BOGUS_PARAM_VARHYP_NODE_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BOGUS_PARAM_VARHYP_NODE_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BOGUS_PARAM_VARHYP_NODE_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_BOGUS_PARAM_VARHYP_NODE_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BOGUS_PARAM_VARHYP_NODE_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BOGUS_PARAM_VARHYP_NODE_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BOGUS_PARAM_VARHYP_NODE_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_BOGUS_PARAM_VARHYP_NODE_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BOGUS_PARAM_VARHYP_NODE_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BOGUS_PARAM_VARHYP_NODE_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BOGUS_PARAM_VARHYP_NODE_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_BOGUS_PARAM_VARHYP_NODE_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_UNDEF_NON_TERMINAL_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_UNDEF_NON_TERMINAL_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_UNDEF_NON_TERMINAL_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_UNDEF_NON_TERMINAL_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_UNDEF_NON_TERMINAL_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_UNDEF_NON_TERMINAL_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_UNDEF_NON_TERMINAL_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_UNDEF_NON_TERMINAL_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_UNDEF_NON_TERMINAL_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_UNDEF_NON_TERMINAL_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_UNDEF_NON_TERMINAL_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_UNDEF_NON_TERMINAL_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_GRAMMAR_UNAMBIGUOUS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_GRAMMAR_UNAMBIGUOUS</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_GRAMMAR_UNAMBIGUOUS</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_GRAMMAR_UNAMBIGUOUS">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_NOTATION_VARHYP_NOTFND_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_NOTATION_VARHYP_NOTFND_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_NOTATION_VARHYP_NOTFND_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_NOTATION_VARHYP_NOTFND_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_NOTATION_VARHYP_NOTFND_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_NOTATION_VARHYP_NOTFND_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_NOTATION_VARHYP_NOTFND_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_NOTATION_VARHYP_NOTFND_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_NOTATION_VARHYP_2_NOTFND_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_NOTATION_VARHYP_2_NOTFND_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_NOTATION_VARHYP_2_NOTFND_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_NOTATION_VARHYP_2_NOTFND_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_NOTATION_VARHYP_2_NOTFND_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_NOTATION_VARHYP_2_NOTFND_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_NOTATION_VARHYP_2_NOTFND_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_NOTATION_VARHYP_2_NOTFND_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_NOTATION_VARHYP_2_NOTFND_3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_NOTATION_VARHYP_2_NOTFND_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_NOTATION_VARHYP_2_NOTFND_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_NOTATION_VARHYP_2_NOTFND_3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_NOTATION_VARHYP_2_NOTFND_4">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_NOTATION_VARHYP_2_NOTFND_4</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_NOTATION_VARHYP_2_NOTFND_4</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_NOTATION_VARHYP_2_NOTFND_4">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_NOTATION_GRFOREST_DUP_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_NOTATION_GRFOREST_DUP_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_NOTATION_GRFOREST_DUP_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_NOTATION_GRFOREST_DUP_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_NOTATION_GRFOREST_DUP_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_NOTATION_GRFOREST_DUP_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_NOTATION_GRFOREST_DUP_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_NOTATION_GRFOREST_DUP_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_N_PARSE_TREES_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_N_PARSE_TREES_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_N_PARSE_TREES_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_N_PARSE_TREES_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_N_PARSE_TREES_2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_N_PARSE_TREES_2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_N_PARSE_TREES_2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_N_PARSE_TREES_2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_N_PARSE_TREES_3">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>ERRMSG_N_PARSE_TREES_3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_N_PARSE_TREES_3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.verify.GrammarConstants.ERRMSG_N_PARSE_TREES_3">Constant Field Values</a></dd></dl>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="GrammarConstants()">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>GrammarConstants</h4>
<pre>public&nbsp;GrammarConstants()</pre>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar_bottom">
<!--   -->
</a><a href="#skip-navbar_bottom" title="Skip navigation links"></a><a name="navbar_bottom_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/verify/GrammarAmbiguity.html" title="class in mmj.verify"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/verify/GrammarRule.html" title="class in mmj.verify"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/verify/GrammarConstants.html" target="_top">Frames</a></li>
<li><a href="GrammarConstants.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field_summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#methods_inherited_from_class_java.lang.Object">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field_detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li>Method</li>
</ul>
</div>
<a name="skip-navbar_bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
